H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Logic in computer science
• Formal methods
• Semantics
• Pi
• Probability

What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway,

Source URL: folk.uib.no

• Logic
• Modal logic
• Philosophy
• Formal epistemology
• Abstraction
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Common knowledge
• Epistemic modal logic
• Kripke semantics

A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk

Source URL: people.eng.unimelb.edu.au

Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch

Source URL: folk.uib.no

• Formal epistemology
• Modal logic
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Symbol
• Epistemic modal logic
• Common knowledge
• Tiny Encryption Algorithm
• Kripke semantics
• Interpretation

On the Formal Semantics of VisualSTATE Statecharts Andrzej Wąsowski Peter Sestoft

Source URL: www.itu.dk

Jeffrey L. Lidz University of Maryland Department of Linguistics 1401 Marie Mount Hall College Park, MD

Source URL: ling.umd.edu

• Semantics
• Academia
• Cognitive science
• Cognition
• Bootstrapping
• Language acquisition
• Language Acquisition: A Journal of Developmental Linguistics
• Sandra Waxman
• West Coast Conference on Formal Linguistics
• Cognitive linguistics
• Concept

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

On the informal and formal semantics of Default and Autoepistemic logic Default logic is not a logic of defaults Marc Denecker Victor Marek and Miroslav Truszczy´ nski

Source URL: people.cs.kuleuven.be

Multiword expressions 1 Introduction Even the best existing formal grammars of natural languages generate a large proportion of utterances that sound stilted, ugly or simply wrong to native speakers. Many of the problems

Source URL: lingo.stanford.edu

• Linguistics
• Syntax
• Cognitive science
• Grammar
• Semantics
• Generative linguistics
• Semiotics
• Multiword expression
• Minimal recursion semantics
• Head-driven phrase structure grammar
• Ivan Sag
• Lexical item